Mapping the Interface Description Language type model into C
نویسندگان
چکیده
منابع مشابه
Mapping the Interface Description Language Type Model into C
The Interface Description Language (IDL) is a notation for describing the characteristics of data structures passed among collections of cooperating processes in a programming environment. In this paper we discuss a mapping from IDL to C data structures and macro definitions that supports the full language and is type safe and runtime efficient, but is not particularly compile-time efficient no...
متن کاملMapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd
In recent years, several efforts have been made to enhance conceptual data modelling with automated reasoning to improve the model’s quality and derive implicit information. One approach to achieve this in implementations, is to constrain the language. Advances in Description Logics can help choosing the right language to have greatest expressiveness yet to remain within the decidable fragment ...
متن کاملCentrum Voor Wiskunde En Informatica a Logical Interface Description Language for Components a Logical Interface Description Language for Components 4 a Logical Interface Description Language
Motivated by our earlier work on the IWIM model and the Manifold language, in this paper, we attend to some of the basic issues in component-based software. We present a formal model for such systems, a formal-logic-based component interface description language that conveys the observable semantics of components, a formal system for deriving the semantics of a composite system out of the seman...
متن کاملA Logical Interface Description Language for Components
Motivated by our earlier work on the IWIM model and the Manifold language, in this paper, we attend to some of the basic issues in component-based software. We present a formal model for such systems, a formal-logic-based component interface description language that conveys the observable semantics of components, a formal system for deriving the semantics of a composite system out of the seman...
متن کاملSoftware Support for User Interface Description Language
A User Interface Description Language (UIDL) is a formal language used in Human-Computer Interaction (HCI) in order to describe a particular user interface independently of any implementation. Considerable research effort has been devoted to defining various meta-models in order to define rigorously the semantics of a UIDL. These meta-models adhere to the principle of separation of concerns. An...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1989
ISSN: 0098-5589
DOI: 10.1109/32.41327